Imperative objects and mobile processes
نویسندگان
چکیده
An interpretation of Abadi and Cardelli’s first-order Imperative Object Calculus into a typed π-calculus is presented. The interpretation validates the subtyping relation and the typing judgements of the Object Calculus, and is computationally adequate. The proof of computational adequacy makes use of (a π-calculus version) of ready simulation, and of a factorisation of the interpretation into a functional part and a very simple imperative part. The interpretation can be used to compare and contrast the Imperative and the Functional Object Calculi, and to prove properties about them, within a unified framework.
منابع مشابه
On the Interaction between Mobile Processes and Objects
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client/server-based distributed systems. However, there are a number of characteristics of the language that in uence its utility as a vehicle in which to express lightweight mobile processes. Among these are its highly imperative sequential core, the close coupling of control an...
متن کاملAn Intelligent Vision System on a Mobile Manipulator
This article will introduce a robust vision system which was implemented on a mobile manipulator. This robot has to find objects and deliver them to pre specified locations. In the first stage, a method which is named color adjacency method was employed. However, this method needs a large amount of memory and the process is very slow on computers with small memories. Therefore since the previou...
متن کامل1 Supporting Universal Personal Computing on Internet with Java and CORBA
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet using any available terminal. Since UPC must deal with heterogeneous systems in a mobile environment, independence of computing platforms and support of portable objects are imperative, which leads to the choice of Java....
متن کاملSeamlessly Distributed & Mobile Workflow or : The right processes at the right places ∗
We briefly outline some of the paths being explored within two recently initiated research projects on Computer Supported Mobile Adaptive Business Processes (CosmoBiz) and Trustworthy Pervasive Healthcare Services (TrustCare) to provide flexible process languages and models that allow seamless, trustworthy distribution and mobility of workflows and business process. In particular, we consider h...
متن کاملAlternatives for Multimedia Messaging System Steganography
The Multimedia Messaging System allows a user of a mobile phone to send messages containing multimedia objects, such as images, audio or video clips. MMS has very quickly gained the popularity of SMS among mobile users. Alongside, the need for a secure communication became more imperative. Hiding information, especially in images has been an attractive solution for secret communication. In this...
متن کامل